<=

A finite domain constraint. u must be less than or equal to v.
 u and v must eventually be given domains if vars.